Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
1990-01-01 De Nicola, R; Inverardi, P; Nesi, M
Verifying Properties of Systems Relying on Attribute-Based Communication.
2017-01-01 De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti
Where Do Your IoT Ingredients Come From?
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. | 1-gen-1990 | De Nicola, R; Inverardi, P; Nesi, M | |
Verifying Properties of Systems Relying on Attribute-Based Communication. | 1-gen-2017 | De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti | |
Where Do Your IoT Ingredients Come From? | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile